An Application of the Formal Method to Statistics
نویسندگان
چکیده
We applied a formal method to a theory on statistics, and described some problems of formalization with proposals for resolving them. We show that the proof of formal method makes clear the logical structure of the proof.
منابع مشابه
an Application of the Logit Model to the Analysis of Informal Sector Activities
This paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in Shiraz, Iran. This study makes use of two Logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. The first model looks at thos...
متن کاملApplication of the concentration- area method to separate induced polarization anomalies data against classical statistics: A case study of Hamyj Porphyry Copper Deposit; Iran
متن کامل
How does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?
Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...
متن کاملDesign and Psychometrics of a Questionnaire for Assessing the Performance of Faculty Members in Providing Virtual Education during the Covid-19 Pandemic
Background and Purpose: Given the Covid-19 and immediate investment in providing virtual university education, it is important to measure the performance of faculty members in this area. Accordingly, this study was conducted to design and psychometrics of a questionnaire to assess the performance of faculty members in providing virtual training. Material and Methods: A descriptive study of ins...
متن کاملEfficiency of Formal Microfinance in Indonesia: Using Data Envelopment Analysis Application
One of the key success factors of the financial institution sustainability is operational efficiencies. Using Data Envelopment Analysis (DEA), this paper measures the relative efficiency of the executing banking units of people business credit (KUR) program in Indonesia. Sample data of this study were obtained from all banking units from banks providing KUR located in the district of Pati, Cen...
متن کامل